Congruence divisibility proof